AUTOMATION OF SHUTTLE AVIONICS SYSTEM SOFTWARE VERIFICATIONKUHN AE; ROBERTS LW.1982; ADV. ASTRONAUT. SCI.; ISSN 0065-3438; USA; DA. 1982; VOL. 48; PP. 229-250; BIBL. 5 REF.Conference Paper

ESTIMATING THE TRANSMISSION DELAY IN QUEUEING TYPE PACKET CONCENTRATORS WITH FINITE BUFFER SIZENGUYEN QUANG A.1982; PROBLEMS OF CONTROL AND INFORMATION THEORY; ISSN 0370-2529; HUN; DA. 1982; VOL. 11; NO 6; PP. 433-439; ABS. RUS; BIBL. 3 REF.Article

FORMAL SPECIFICATION OF GRAPHIC DATA TYPESMALLGREN WR.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 687-710; BIBL. 16 REF.Article

ON FORMAL AND INFORMAL PROOFS FOR PROGRAM CORRECTNESSCULIK K.1983; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1983; VOL. 18; NO 1; PP. 23-28; BIBL. 12 REF.Article

AUTOMATIC CONSTRUCTION OF VERIFICATION CONDITION GENERATORS FROM HOARE LOGICSMORICONI M; SCHWARTZ RL.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 363-377; BIBL. 10 REF.Conference Paper

MISE AU POINT DE PROGRAMMES IIHOREJS J.1977; INF. SYST.; CSK; DA. 1977 PUBL. 1978; VOL. 7; NO 3; PP. 223-249; ABS. RUS/ENG; BIBL. 2 P.Article

SHARPENING THE CHARACTERIZATION OF THE POWER OF FLOYD METHODANDREKA H.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 1-26; BIBL. 29 REF.Conference Paper

AUTOMATIC ASSESSMENT AIDS FOR PASCAL PROGRAMREES MJ.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 10; PP. 33-42; BIBL. 3 REF.Article

STRUMENTI PER IL TESTING DEI PRODOTTI SOFTWARE = OUTILS POUR LE TEST DES PRODUITS LOGICIELSTERREVOLI G.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 2; PP. 145-176; ABS. ENG; BIBL. 75 REF.Article

A PRACTICAL DECISION PROCEDURE FOR ARITHMETIC WITH FUNCTION SYMBOLSSHOSTAK RE.1979; J. ANN. COMPUTG MACHIN.; USA; DA. 1979; VOL. 26; NO 2; PP. 351-360; BIBL. 17 REF.Article

PROOF OF CORRECTNESS OF DATA REPRESENTATIONS.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 183-193; BIBL. 8 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

TWO PROGRAMMING PROBLEMSABRAHAMS PW.1978; SIGPLAN NOT.; USA; DA. 1978; VOL. 13; NO 9; PP. 28-29Article

VERIFICATION OF PROGRAMS WITH PROCEDURE-TYPE PARAMETERSERNST GW; NAVLAKHA JK; OGDEN WF et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 149-169; BIBL. 8 REF.Article

DEVELOPPEMENT DES METHODES DE TEST SYMBOLIQUE DES PROGRAMMES D'ORDINATEURBICHEVSKIJ YA YA; BORZOV YU V.1982; AVTOM. TELEMEH.; ISSN 0005-2310; SUN; DA. 1982; NO 8; PP. 93-101; ABS. ENG; BIBL. 26 REF.Article

REPRESENTATION AND VERIFICATION OF COMMUNICATING SEQUENTIAL PROCESSESGERGELY T; URY L.1982; COMPUT. LINGUIST. COMPUT. LANG.; ISSN 0324-2048; HUN; DA. 1982; VOL. 15; PP. 157-174; BIBL. 3 REF.Article

SUR LE CONTROLE DES TYPES DES VALEURS DES VARIABLES UTILISANT LA DEMONSTRATION DES PROPRIETES DES PROGRAMMESCHERNOBROD LV.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 4; PP. 14-24; BIBL. 9 REF.Article

ON THE USE OF HISTORY VARIABLESCLINT M.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 1; PP. 15-30; BIBL. 12 REF.Article

A CHARACTERIZATION OF FLOYD-PROVABLE PROGRAMSANDREKA H; NEMETI I; SAIN I et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 162-171; BIBL. 11 REF.Conference Paper

A SURVEY OF MICROPROGRAM VERIFICATION AND VALIDATION METHODSLUCIDO TP; CHATTERGY R; POOCH UW et al.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 2; PP. 139-142; BIBL. 29 REF.Article

FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGNBOCHMANN GV; SUNSHINE CA.1980; I.E.E.E. TRANS. COMMUNIC.; USA; DA. 1980; VOL. 28; NO 4; PP. 624-631; BIBL. 51 REF.Article

ON SPECIFYING VERIFIERSPRATT VR.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 106-116; BIBL. 11 REF.Conference Paper

RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSESGUERREIRO P.1980; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1980; NO 200; 19 P.; ABS. FRE; BIBL. 2 P.Serial Issue

A NEAR-OPTIMAL METHOD FOR REASONING ABOUT ACTIONPRATT VR.1980; J. COMPUTER SYST. SCI.; USA; DA. 1980; VOL. 20; NO 2; PP. 231-254; BIBL. 25 REF.Conference Paper

A PRACTICAL METHOD OF DOCUMENTING AND VERIFYING ADA PROGRAMS WITH PACKAGESLUCKHAM DC; POLAK W.1980; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1980; VOL. 15; NO 11; PP. 113-122; BIBL. 17 REF.Conference Paper

FORMAL METHODS FOR COMMUNICATION PROTOCOL SPECIFICATION AND VERIFICATIONSUNSHINE CARL A.1979; ; USA; SANTA MONICA: RAND; DA. 1979; RAND-N.1429.ARPA/NBS; IX-93 P.; 27 CM; BIBL. 138 REF.Report